Jobstmann, Barbara: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Synthesis of Reactive(1) designs

Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Saʼar

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 708 KB

english, 2012

2

Specify, Compile, Run: Hardware from PSL

Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 338 KB

english, 2007

3

Finding and fixing faults

Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 348 KB

english, 2012

4

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - Automatic Hardware Synthesis from Specifications: A Case Study

Bloem, Roderick, Galler, Stefan, Jobstmann, Barbara, Piterman, Nir, Pnueli, Amir, Weiglhofer, Martin

Year:

2007

Language:

english

File:

PDF, 110 KB

english, 2007

5

Algorithmic program synthesis: introduction

Bodik, Rastislav, Jobstmann, Barbara

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 305 KB

english, 2013

6

Synthesizing robust systems

Bloem, Roderick, Chatterjee, Krishnendu, Greimel, Karin, Henzinger, Thomas A., Hofferek, Georg, Jobstmann, Barbara, Könighofer, Bettina, Könighofer, Robert

Journal:

Acta Informatica

Year:

2014

Language:

english

File:

PDF, 794 KB

english, 2014

7

[IEEE 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES) - Vasteras, Sweden (2011.06.15-2011.06.17)] 2011 6th IEEE International Symposium on Industrial and Embedded Systems - Specification-centered robustness

Bloem, Roderick, Chatterjee, Krishnendu, Greimel, Karin, Henzinger, Thomas A., Jobstmann, Barbara

Year:

2011

Language:

english

File:

PDF, 1.09 MB

english, 2011

8

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Synthesizing robust systems

Bloem, Roderick, Greimel, Karin, Henzinger, Thomas A., Jobstmann, Barbara

Year:

2009

Language:

english

File:

PDF, 200 KB

english, 2009

9

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Optimizations for LTL Synthesis

Jobstmann, Barbara, Bloem, Roderick

Year:

2006

Language:

english

File:

PDF, 387 KB

english, 2006

10

FORMALISMS FOR SPECIFYING MARKOVIAN POPULATION MODELS

HENZINGER, THOMAS, JOBSTMANN, BARBARA, WOLF, VERENA

Journal:

International Journal of Foundations of Computer Science

Year:

2011

Language:

english

File:

PDF, 291 KB

english, 2011

11

Program repair without regret

von Essen, Christian, Jobstmann, Barbara

Journal:

Formal Methods in System Design

Year:

2015

Language:

english

File:

PDF, 686 KB

english, 2015

12

Synthesizing efficient systems in probabilistic environments

von Essen, Christian, Jobstmann, Barbara, Parker, David, Varshneya, Rahul

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 807 KB

english, 2016

13

Model checking transactional memories

Guerraoui, Rachid, Henzinger, Thomas A., Jobstmann, Barbara, Singh, Vasu

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 303 KB

english, 2008

14

[ACM Press the 2008 ACM SIGPLAN conference - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 - Model checking transactional memories

Guerraoui, Rachid, Henzinger, Thomas A., Jobstmann, Barbara, Singh, Vasu

Year:

2008

Language:

english

File:

PDF, 303 KB

english, 2008

15

Measuring and Synthesizing Systems in Probabilistic Environments

Chatterjee, Krishnendu, Henzinger, Thomas A., Jobstmann, Barbara, Singh, Rohit

Journal:

Journal of the ACM

Year:

2015

Language:

english

File:

PDF, 572 KB

english, 2015

16

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 9583 || A General Modular Synthesis Problem for Pushdown Systems

Jobstmann, Barbara, Leino, K. Rustan M.

Year:

2016

Language:

english

File:

PDF, 405 KB

english, 2016

17

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 9583 ||

Jobstmann, Barbara, Leino, K. Rustan M.

Year:

2016

Language:

english

File:

PDF, 16.77 MB

english, 2016

18

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 9583 || Exact Heap Summaries for Symbolic Execution

Jobstmann, Barbara, Leino, K. Rustan M.

Year:

2016

Language:

english

File:

PDF, 579 KB

english, 2016

19

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 9583 || Viper: A Verification Infrastructure for Permission-Based Reasoning

Jobstmann, Barbara, Leino, K. Rustan M.

Year:

2016

Language:

english

File:

PDF, 1.70 MB

english, 2016

20

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 9583 || Abstraction-driven Concolic Testing

Jobstmann, Barbara, Leino, K. Rustan M.

Year:

2016

Language:

english

File:

PDF, 419 KB

english, 2016

21

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 9583 || Automating Abstract Interpretation

Jobstmann, Barbara, Leino, K. Rustan M.

Year:

2016

Language:

english

File:

PDF, 813 KB

english, 2016

22

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 9583 || An Abstract Domain of Uninterpreted Functions

Jobstmann, Barbara, Leino, K. Rustan M.

Year:

2016

Language:

english

File:

PDF, 692 KB

english, 2016

23

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 9583 || Lazy Constrained Monotonic Abstraction

Jobstmann, Barbara, Leino, K. Rustan M.

Year:

2016

Language:

english

File:

PDF, 434 KB

english, 2016

24

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Message from the chairs

Schneider, Klaus, Jobstmann, Barbara, Carloni, Luca, Brandt, Jens

Year:

2010

Language:

english

File:

PDF, 64 KB

english, 2010

25

[ACM Press the 7th ACM international conference - Atlanta, GA, USA (2008.10.19-2008.10.24)] Proceedings of the 7th ACM international conference on Embedded software - EMSOFT '08 - Interface theories with component reuse

Doyen, Laurent, Henzinger, Thomas A., Jobstmann, Barbara, Petrov, Tatjana

Year:

2008

Language:

english

File:

PDF, 260 KB

english, 2008